[IA64] Fix VTI boot

fix cset 10003. the variable, end, of
vmx_build_physmap_table() also must adjusted.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/vmx/vmx_init.c b/xen/arch/ia64/vmx/vmx_init.c
index ca5e100637a3a185e410221bd8cc7a0f59831048..e016c801a7965a5a72dbe2d5849a7a398e54ec94 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_init.c
+++ b/xen/arch/ia64/vmx/vmx_init.c
@@ -351,6 +351,8 @@ int vmx_build_physmap_table(struct domain *d)
 
        /* Map normal memory below 3G */
        end = VMX_CONFIG_PAGES(d) << PAGE_SHIFT;
+       if (end > VGA_IO_START)
+           end += VGA_IO_SIZE;
        tmp = end < MMIO_START ? end : MMIO_START;
        for (i = 0; (i < tmp) && (list_ent != &d->page_list); i += PAGE_SIZE) {
         if (VGA_IO_START <= i && i < VGA_IO_START + VGA_IO_SIZE)